|
|
|
| e-Pub |
Previous | 
Home
Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
Bor-Yuh Evan Chang visited the team from June to August 2013, as part of his collaboration with Xavier Rival.
Internships
Abdellatif Atki is a student at École Polytechnique (Palaiseau, France). He performed his M1 internship from April 2013 to July 2013 under the supervision of Antoine Miné on the Two variables per inequality abstract domain [27] .
Matthias Bry is a student at École Polytechnique (Palaiseau, France). He performed his M1 internship from April 2013 to July 2013 under the supervision of Antoine Miné on analysis of concurrent programs [28] .
Huisong Li is a master student at the Institute of Software, at the Chinese Accademy of Sciences (Beijing, China) and is doing a research internship under the supervision of Xavier Rival.
Visits to International Teams
Xavier Rival visited the ROSAEC Team in Seoul National University (team of Professor Kwangkeun Yi).